'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
01/01/1994
Field of study
This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface